CodeAnt : Code Slicing Tool for Effective Software Verification
نویسندگان
چکیده
منابع مشابه
A PROLOG Tool for Slicing Source Code
We describe a PROLOG tool for slicing source code. We assume that there exists an XML representation of the parse tree of the code. Then, we can perform an analysis of the extended call graph based on methods from the tool VISUR/RAR to determine the relevant predicates for the slice. User–defined policies reflecting the different styles of programming of different users can be plugged into the ...
متن کاملProgram Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and identify faults. Therefore, reducing the effort of debugging process is an important step towards efficient software evolution. Program slicing, especially dynamic slicing, has been proposed to efficiently localize faults ...
متن کاملObject Code-Near Software Verification
Computer programs are used in almost every area of our daily life. Especially in fields like medical computing and the whole sector of security systems they became almost vital or at least mission critical. One of the main problems of software engineering is to develop programs that are reliable enough to meet the needs of a mission critical appliance. Several approaches are taken to prove that...
متن کاملCPAchecker: A Tool for Configurable Software Verification
Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAchecker, a tool and framework that aims at easy integration of new verification components. Every abstract domain, together with the corresponding operations, implements the interface of configurable program analysis (CPA)...
متن کاملA Software Component Verification Tool
Component-Based Software Engineering depends on reliable, robust components, since it may omit a unit test phase wholly or partially from the development cycle. This paper describes a tool that allows a component developer to design and run verification tests. In developing components for our library, we found it necessary to provide multiple mechanisms for identifying and capturing tests to ov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KIPS Transactions on Software and Data Engineering
سال: 2015
ISSN: 2287-5905
DOI: 10.3745/ktsde.2015.4.1.1